-
1 содержательное доказательство
Большой англо-русский и русско-английский словарь > содержательное доказательство
-
2 formal demonstration
Англо-русский словарь по исследованиям и ноу-хау > formal demonstration
-
3 informal demonstration
Математика: содержательное доказательствоУниверсальный англо-русский словарь > informal demonstration
-
4 informal demonstration
English-Russian scientific dictionary > informal demonstration
См. также в других словарях:
Опровержение логическое — обоснование, или содержательное Доказательство, ложности суждения (предложения), умозаключения (рассуждения), совокупности гипотез (суждений) и умозаключений, составляющей научную теорию или отдельный её фрагмент. В применении к… … Большая советская энциклопедия
СВОБОДА ВОЛИ — понятие европейской моральной философии, окончательно оформившееся у И. Канта в значении интеллигибельной способности индивида к моральному самоопределению. В ретроспективном плане (до или посткантовские теории) термин «Св.» можно рассматривать… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
МОНАДОЛОГИЯ — ’МОНАДОЛОГИЯ’ очерк философской системы Лейбница, написанный в 1714 в последнее пребывание автора в Вене и предназначенный принцу Евгению Савойскому. ‘М.’ замыкает философскую трилогию, начатую ‘Новыми опытами о человеческом разумении’ и… … История Философии: Энциклопедия
ИРРАЦИОНАЛИЗМ — (от лат. irrationalis неразумный) филос. концепция, отрицающая возможность разумного познания действительности или существенным образом ограничивающая такую возможность. Отрицая или принижая рациональное познание, И. выдвигает на первый план… … Философская энциклопедия
История тригонометрии — Геодезические измерения (XVII век) … Википедия
МОНАДОЛОГИЯ — очерк философской системы Лейбница, написанный в 1714 в последнее пребывание автора в Вене и предназначенный принцу Евгению Савойскому. М. замыкает философскую трилогию, начатую Новыми опытами о человеческом разумении и продолженную Теодицеей . М … История Философии: Энциклопедия
ОНТОЛОГИЯ — учение о бытии как таковом, раздел философии, изучающий фундаментальные принципы бытия. Иногда О. отождествляют с метафизикой, но чаще рассматривают как ее основополагающую часть, как метафизику бытия. Бытие последнее, о чем допустимо спрашивать … Философская энциклопедия
АНТИЧНАЯ ФИЛОСОФИЯ — комплекс идей и учений, продуцированных древнегреческими и древнеримскими мыслителями в период с 7 в. до н.э. по 6 в. н.э. и характеризующихся определенным проблемно содержательным и стилевым единством. Является продуктом нетрадиционного типа… … История Философии: Энциклопедия
АНТИЧНАЯ ФИЛОСОФИЯ — комплекс идей и учений, продуцированных древнегреческими и древнеримскими мыслителями в период с 7 в. до н.э. по 6 в. и характеризующихся определенным проблемно содержательным и стилевым единством. Является продуктом нетрадиционного типа культуры … Новейший философский словарь